Merge pull request #6972 from neheb/double
authorHannu Nyman <[email protected]>
Thu, 27 Dec 2018 17:34:49 +0000 (19:34 +0200)
committerGitHub <[email protected]>
Thu, 27 Dec 2018 17:34:49 +0000 (19:34 +0200)
libdouble-conversion: Update to 3.1.1


Trivial merge